Removing partial inconsistency in valuation-based systems
نویسندگان
چکیده
منابع مشابه
Removing partial inconsistency in valuation-based systems
This paper presents an abstract definition of partial inconsistency and one operator used to remove it: normalization. When there is partial inconsistency in the combination of two pieces of information, this partial inconsistency is propagated to all the information in the system thereby degrading it. To avoid this effect, it is necessary to apply normalization. Four different formalisms are s...
متن کاملRemoving the Inconsistency in the Axioms of Quantum Theory
In [arXiv:0706.4180], a certain natural phenomenon of self-observing consciousness was shown to be incompatible with the standard axioms of quantum theory. In order to consider a possibility of removing this inconsistency, which arises due to the separation between an observing party and a state vector being observed stated in the quantum theory axioms, we provide a conjecture where ‘being’ is ...
متن کاملBidirectionally Tolerating Inconsistency: Partial Transformations
A foundational property of bidirectional transformations is that they should be correct: that is, the transformation should succeed in restoring consistency between any models it is given. In practice, however, transformation engines sometimes fail to restore consistency, e.g. because there is no consistent model to return, or because the tool is unable to select a best model to return from amo...
متن کاملConditional independence in valuation-based systems
This paper introduces the concept of conditional independence in valuation-based systems (VBS). VBS is an axiomatic framework capable of representing many different uncertainty calculi. We define conditional independence in terms of factorization of the joint valuation. The definition of conditional independence in VBS generalizes the corresponding definition in probability theory. Besides prob...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Intelligent Systems
سال: 1997
ISSN: 0884-8173,1098-111X
DOI: 10.1002/(sici)1098-111x(199709)12:9<629::aid-int2>3.0.co;2-l